choose($n$;$i$)
\\[0ex]$\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$if ($i$ =$_{0}$ 0) $\vee_{b}$($i$ =$_{0}$ $n$) then 1 else choose($n$ {-} 1;$i$ {-} 1)+choose($n$ {-} 1;$i$) fi 
\\[0ex]\emph{(recursive)}